completeness axiom

[网络] 完备性公理;完全性公理;完全公设